home *** CD-ROM | disk | FTP | other *** search
/ Clickx 115 / Clickx 115.iso / software / tools / windows / tails-i386-0.16.iso / live / filesystem.squashfs / usr / share / gedit-2 / ui / gedit-preferences-dialog.ui < prev    next >
Encoding:
Extensible Markup Language  |  2011-02-27  |  58.3 KB  |  1,108 lines
  1. <?xml version="1.0"?>
  2. <interface>
  3.   <requires lib="gtk+" version="2.16"/>
  4.   <!-- interface-naming-policy toplevel-contextual -->
  5.   <object class="GtkAdjustment" id="adjustment1">
  6.     <property name="value">80</property>
  7.     <property name="lower">1</property>
  8.     <property name="upper">160</property>
  9.     <property name="step_increment">1</property>
  10.     <property name="page_increment">10</property>
  11.   </object>
  12.   <object class="GtkAdjustment" id="adjustment2">
  13.     <property name="value">8</property>
  14.     <property name="lower">1</property>
  15.     <property name="upper">24</property>
  16.     <property name="step_increment">1</property>
  17.     <property name="page_increment">4</property>
  18.   </object>
  19.   <object class="GtkAdjustment" id="adjustment3">
  20.     <property name="value">8</property>
  21.     <property name="lower">1</property>
  22.     <property name="upper">100</property>
  23.     <property name="step_increment">1</property>
  24.     <property name="page_increment">10</property>
  25.   </object>
  26.   <object class="GtkImage" id="install_scheme_image">
  27.     <property name="stock">gtk-add</property>
  28.   </object>
  29.   <object class="GtkDialog" id="preferences_dialog">
  30.     <property name="title" translatable="yes">Preferences</property>
  31.     <property name="resizable">False</property>
  32.     <property name="destroy_with_parent">True</property>
  33.     <property name="type_hint">dialog</property>
  34.     <property name="has_separator">False</property>
  35.     <child internal-child="vbox">
  36.       <object class="GtkVBox" id="dialog-vbox">
  37.         <property name="visible">True</property>
  38.         <property name="orientation">vertical</property>
  39.         <child>
  40.           <object class="GtkNotebook" id="notebook">
  41.             <property name="visible">True</property>
  42.             <property name="can_focus">True</property>
  43.             <property name="border_width">6</property>
  44.             <child>
  45.               <object class="GtkVBox" id="vbox228">
  46.                 <property name="visible">True</property>
  47.                 <property name="border_width">12</property>
  48.                 <property name="orientation">vertical</property>
  49.                 <property name="spacing">18</property>
  50.                 <child>
  51.                   <object class="GtkVBox" id="vbox226">
  52.                     <property name="visible">True</property>
  53.                     <property name="orientation">vertical</property>
  54.                     <property name="spacing">6</property>
  55.                     <child>
  56.                       <object class="GtkLabel" id="label848">
  57.                         <property name="visible">True</property>
  58.                         <property name="xalign">0</property>
  59.                         <property name="label" translatable="yes">Text Wrapping</property>
  60.                         <attributes>
  61.                           <attribute name="weight" value="bold"/>
  62.                         </attributes>
  63.                       </object>
  64.                       <packing>
  65.                         <property name="expand">False</property>
  66.                         <property name="fill">False</property>
  67.                         <property name="position">0</property>
  68.                       </packing>
  69.                     </child>
  70.                     <child>
  71.                       <object class="GtkHBox" id="hbox142">
  72.                         <property name="visible">True</property>
  73.                         <child>
  74.                           <object class="GtkLabel" id="label849">
  75.                             <property name="visible">True</property>
  76.                             <property name="label" translatable="yes">    </property>
  77.                           </object>
  78.                           <packing>
  79.                             <property name="expand">False</property>
  80.                             <property name="fill">False</property>
  81.                             <property name="position">0</property>
  82.                           </packing>
  83.                         </child>
  84.                         <child>
  85.                           <object class="GtkVBox" id="wrap_mode_frame">
  86.                             <property name="visible">True</property>
  87.                             <property name="orientation">vertical</property>
  88.                             <property name="spacing">6</property>
  89.                             <child>
  90.                               <object class="GtkCheckButton" id="wrap_text_checkbutton">
  91.                                 <property name="label" translatable="yes">Enable text _wrapping</property>
  92.                                 <property name="visible">True</property>
  93.                                 <property name="can_focus">True</property>
  94.                                 <property name="receives_default">False</property>
  95.                                 <property name="use_underline">True</property>
  96.                                 <property name="draw_indicator">True</property>
  97.                               </object>
  98.                               <packing>
  99.                                 <property name="expand">False</property>
  100.                                 <property name="fill">False</property>
  101.                                 <property name="position">0</property>
  102.                               </packing>
  103.                             </child>
  104.                             <child>
  105.                               <object class="GtkCheckButton" id="split_checkbutton">
  106.                                 <property name="label" translatable="yes">Do not _split words over two lines</property>
  107.                                 <property name="visible">True</property>
  108.                                 <property name="can_focus">True</property>
  109.                                 <property name="receives_default">False</property>
  110.                                 <property name="use_underline">True</property>
  111.                                 <property name="draw_indicator">True</property>
  112.                               </object>
  113.                               <packing>
  114.                                 <property name="expand">False</property>
  115.                                 <property name="fill">False</property>
  116.                                 <property name="position">1</property>
  117.                               </packing>
  118.                             </child>
  119.                           </object>
  120.                           <packing>
  121.                             <property name="position">1</property>
  122.                           </packing>
  123.                         </child>
  124.                       </object>
  125.                       <packing>
  126.                         <property name="position">1</property>
  127.                       </packing>
  128.                     </child>
  129.                   </object>
  130.                   <packing>
  131.                     <property name="position">0</property>
  132.                   </packing>
  133.                 </child>
  134.                 <child>
  135.                   <object class="GtkVBox" id="vbox217">
  136.                     <property name="visible">True</property>
  137.                     <property name="orientation">vertical</property>
  138.                     <property name="spacing">6</property>
  139.                     <child>
  140.                       <object class="GtkLabel" id="label854">
  141.                         <property name="visible">True</property>
  142.                         <property name="xalign">0</property>
  143.                         <property name="label" translatable="yes">Line Numbers</property>
  144.                         <attributes>
  145.                           <attribute name="weight" value="bold"/>
  146.                         </attributes>
  147.                       </object>
  148.                       <packing>
  149.                         <property name="expand">False</property>
  150.                         <property name="fill">False</property>
  151.                         <property name="position">0</property>
  152.                       </packing>
  153.                     </child>
  154.                     <child>
  155.                       <object class="GtkHBox" id="hbox137">
  156.                         <property name="visible">True</property>
  157.                         <child>
  158.                           <object class="GtkLabel" id="label843">
  159.                             <property name="visible">True</property>
  160.                             <property name="label" translatable="yes">    </property>
  161.                           </object>
  162.                           <packing>
  163.                             <property name="expand">False</property>
  164.                             <property name="fill">False</property>
  165.                             <property name="position">0</property>
  166.                           </packing>
  167.                         </child>
  168.                         <child>
  169.                           <object class="GtkVBox" id="vbox222">
  170.                             <property name="visible">True</property>
  171.                             <property name="spacing">6</property>
  172.                             <child>
  173.                               <object class="GtkCheckButton" id="display_line_numbers_checkbutton">
  174.                                 <property name="label" translatable="yes">_Display line numbers</property>
  175.                                 <property name="visible">True</property>
  176.                                 <property name="can_focus">True</property>
  177.                                 <property name="receives_default">False</property>
  178.                                 <property name="use_underline">True</property>
  179.                                 <property name="draw_indicator">True</property>
  180.                               </object>
  181.                               <packing>
  182.                                 <property name="expand">False</property>
  183.                                 <property name="fill">False</property>
  184.                                 <property name="position">0</property>
  185.                               </packing>
  186.                             </child>
  187.                           </object>
  188.                           <packing>
  189.                             <property name="position">1</property>
  190.                           </packing>
  191.                         </child>
  192.                       </object>
  193.                       <packing>
  194.                         <property name="position">1</property>
  195.                       </packing>
  196.                     </child>
  197.                   </object>
  198.                   <packing>
  199.                     <property name="expand">False</property>
  200.                     <property name="fill">False</property>
  201.                     <property name="position">1</property>
  202.                   </packing>
  203.                 </child>
  204.                 <child>
  205.                   <object class="GtkVBox" id="vbox244">
  206.                     <property name="visible">True</property>
  207.                     <property name="orientation">vertical</property>
  208.                     <property name="spacing">6</property>
  209.                     <child>
  210.                       <object class="GtkLabel" id="label876">
  211.                         <property name="visible">True</property>
  212.                         <property name="xalign">0</property>
  213.                         <property name="label" translatable="yes">Current Line</property>
  214.                         <attributes>
  215.                           <attribute name="weight" value="bold"/>
  216.                         </attributes>
  217.                       </object>
  218.                       <packing>
  219.                         <property name="expand">False</property>
  220.                         <property name="fill">False</property>
  221.                         <property name="position">0</property>
  222.                       </packing>
  223.                     </child>
  224.                     <child>
  225.                       <object class="GtkHBox" id="hbox161">
  226.                         <property name="visible">True</property>
  227.                         <child>
  228.                           <object class="GtkLabel" id="label877">
  229.                             <property name="visible">True</property>
  230.                             <property name="label" translatable="yes">    </property>
  231.                           </object>
  232.                           <packing>
  233.                             <property name="expand">False</property>
  234.                             <property name="fill">False</property>
  235.                             <property name="position">0</property>
  236.                           </packing>
  237.                         </child>
  238.                         <child>
  239.                           <object class="GtkVBox" id="vbox245">
  240.                             <property name="visible">True</property>
  241.                             <property name="orientation">vertical</property>
  242.                             <property name="spacing">6</property>
  243.                             <child>
  244.                               <object class="GtkCheckButton" id="highlight_current_line_checkbutton">
  245.                                 <property name="label" translatable="yes">Highlight current _line</property>
  246.                                 <property name="visible">True</property>
  247.                                 <property name="can_focus">True</property>
  248.                                 <property name="receives_default">False</property>
  249.                                 <property name="use_underline">True</property>
  250.                                 <property name="draw_indicator">True</property>
  251.                               </object>
  252.                               <packing>
  253.                                 <property name="expand">False</property>
  254.                                 <property name="fill">False</property>
  255.                                 <property name="position">0</property>
  256.                               </packing>
  257.                             </child>
  258.                           </object>
  259.                           <packing>
  260.                             <property name="position">1</property>
  261.                           </packing>
  262.                         </child>
  263.                       </object>
  264.                       <packing>
  265.                         <property name="position">1</property>
  266.                       </packing>
  267.                     </child>
  268.                   </object>
  269.                   <packing>
  270.                     <property name="expand">False</property>
  271.                     <property name="position">2</property>
  272.                   </packing>
  273.                 </child>
  274.                 <child>
  275.                   <object class="GtkVBox" id="vbox230">
  276.                     <property name="visible">True</property>
  277.                     <property name="orientation">vertical</property>
  278.                     <property name="spacing">6</property>
  279.                     <child>
  280.                       <object class="GtkLabel" id="label855">
  281.                         <property name="visible">True</property>
  282.                         <property name="xalign">0</property>
  283.                         <property name="label" translatable="yes">Right Margin</property>
  284.                         <attributes>
  285.                           <attribute name="weight" value="bold"/>
  286.                         </attributes>
  287.                       </object>
  288.                       <packing>
  289.                         <property name="expand">False</property>
  290.                         <property name="fill">False</property>
  291.                         <property name="position">0</property>
  292.                       </packing>
  293.                     </child>
  294.                     <child>
  295.                       <object class="GtkHBox" id="hbox145">
  296.                         <property name="visible">True</property>
  297.                         <child>
  298.                           <object class="GtkLabel" id="label856">
  299.                             <property name="visible">True</property>
  300.                             <property name="label" translatable="yes">    </property>
  301.                           </object>
  302.                           <packing>
  303.                             <property name="expand">False</property>
  304.                             <property name="fill">False</property>
  305.                             <property name="position">0</property>
  306.                           </packing>
  307.                         </child>
  308.                         <child>
  309.                           <object class="GtkVBox" id="vbox231">
  310.                             <property name="visible">True</property>
  311.                             <property name="orientation">vertical</property>
  312.                             <property name="spacing">6</property>
  313.                             <child>
  314.                               <object class="GtkCheckButton" id="right_margin_checkbutton">
  315.                                 <property name="label" translatable="yes">Display right _margin</property>
  316.                                 <property name="visible">True</property>
  317.                                 <property name="can_focus">True</property>
  318.                                 <property name="receives_default">False</property>
  319.                                 <property name="use_underline">True</property>
  320.                                 <property name="draw_indicator">True</property>
  321.                               </object>
  322.                               <packing>
  323.                                 <property name="expand">False</property>
  324.                                 <property name="fill">False</property>
  325.                                 <property name="position">0</property>
  326.                               </packing>
  327.                             </child>
  328.                             <child>
  329.                               <object class="GtkHBox" id="right_margin_position_hbox">
  330.                                 <property name="visible">True</property>
  331.                                 <property name="spacing">6</property>
  332.                                 <child>
  333.                                   <object class="GtkLabel" id="label857">
  334.                                     <property name="visible">True</property>
  335.                                     <property name="xalign">0</property>
  336.                                     <property name="label" translatable="yes">_Right margin at column:</property>
  337.                                     <property name="use_underline">True</property>
  338.                                     <property name="mnemonic_widget">right_margin_position_spinbutton</property>
  339.                                   </object>
  340.                                   <packing>
  341.                                     <property name="expand">False</property>
  342.                                     <property name="fill">False</property>
  343.                                     <property name="position">0</property>
  344.                                   </packing>
  345.                                 </child>
  346.                                 <child>
  347.                                   <object class="GtkSpinButton" id="right_margin_position_spinbutton">
  348.                                     <property name="visible">True</property>
  349.                                     <property name="can_focus">True</property>
  350.                                     <property name="adjustment">adjustment1</property>
  351.                                     <property name="climb_rate">1</property>
  352.                                     <property name="snap_to_ticks">True</property>
  353.                                     <property name="numeric">True</property>
  354.                                   </object>
  355.                                   <packing>
  356.                                     <property name="expand">False</property>
  357.                                     <property name="fill">False</property>
  358.                                     <property name="position">1</property>
  359.                                   </packing>
  360.                                 </child>
  361.                               </object>
  362.                               <packing>
  363.                                 <property name="expand">False</property>
  364.                                 <property name="fill">False</property>
  365.                                 <property name="position">1</property>
  366.                               </packing>
  367.                             </child>
  368.                           </object>
  369.                           <packing>
  370.                             <property name="position">1</property>
  371.                           </packing>
  372.                         </child>
  373.                       </object>
  374.                       <packing>
  375.                         <property name="position">1</property>
  376.                       </packing>
  377.                     </child>
  378.                   </object>
  379.                   <packing>
  380.                     <property name="expand">False</property>
  381.                     <property name="fill">False</property>
  382.                     <property name="position">3</property>
  383.                   </packing>
  384.                 </child>
  385.                 <child>
  386.                   <object class="GtkVBox" id="vbox249">
  387.                     <property name="visible">True</property>
  388.                     <property name="orientation">vertical</property>
  389.                     <property name="spacing">6</property>
  390.                     <child>
  391.                       <object class="GtkLabel" id="label881">
  392.                         <property name="visible">True</property>
  393.                         <property name="xalign">0</property>
  394.                         <property name="label" translatable="yes">Bracket Matching</property>
  395.                         <attributes>
  396.                           <attribute name="weight" value="bold"/>
  397.                         </attributes>
  398.                       </object>
  399.                       <packing>
  400.                         <property name="expand">False</property>
  401.                         <property name="fill">False</property>
  402.                         <property name="position">0</property>
  403.                       </packing>
  404.                     </child>
  405.                     <child>
  406.                       <object class="GtkHBox" id="hbox163">
  407.                         <property name="visible">True</property>
  408.                         <child>
  409.                           <object class="GtkLabel" id="label882">
  410.                             <property name="visible">True</property>
  411.                             <property name="label" translatable="yes">    </property>
  412.                           </object>
  413.                           <packing>
  414.                             <property name="expand">False</property>
  415.                             <property name="fill">False</property>
  416.                             <property name="position">0</property>
  417.                           </packing>
  418.                         </child>
  419.                         <child>
  420.                           <object class="GtkVBox" id="vbox250">
  421.                             <property name="visible">True</property>
  422.                             <property name="orientation">vertical</property>
  423.                             <property name="spacing">6</property>
  424.                             <child>
  425.                               <object class="GtkCheckButton" id="bracket_matching_checkbutton">
  426.                                 <property name="label" translatable="yes">Highlight matching _bracket</property>
  427.                                 <property name="visible">True</property>
  428.                                 <property name="can_focus">True</property>
  429.                                 <property name="receives_default">False</property>
  430.                                 <property name="use_underline">True</property>
  431.                                 <property name="draw_indicator">True</property>
  432.                               </object>
  433.                               <packing>
  434.                                 <property name="expand">False</property>
  435.                                 <property name="fill">False</property>
  436.                                 <property name="position">0</property>
  437.                               </packing>
  438.                             </child>
  439.                           </object>
  440.                           <packing>
  441.                             <property name="position">1</property>
  442.                           </packing>
  443.                         </child>
  444.                       </object>
  445.                       <packing>
  446.                         <property name="position">1</property>
  447.                       </packing>
  448.                     </child>
  449.                   </object>
  450.                   <packing>
  451.                     <property name="position">4</property>
  452.                   </packing>
  453.                 </child>
  454.               </object>
  455.             </child>
  456.             <child type="tab">
  457.               <object class="GtkLabel" id="label853">
  458.                 <property name="visible">True</property>
  459.                 <property name="label" translatable="yes">View</property>
  460.               </object>
  461.               <packing>
  462.                 <property name="tab_fill">False</property>
  463.               </packing>
  464.             </child>
  465.             <child>
  466.               <object class="GtkVBox" id="vbox224">
  467.                 <property name="visible">True</property>
  468.                 <property name="border_width">12</property>
  469.                 <property name="orientation">vertical</property>
  470.                 <property name="spacing">18</property>
  471.                 <child>
  472.                   <object class="GtkVBox" id="vbox225">
  473.                     <property name="visible">True</property>
  474.                     <property name="orientation">vertical</property>
  475.                     <property name="spacing">6</property>
  476.                     <child>
  477.                       <object class="GtkLabel" id="label846">
  478.                         <property name="visible">True</property>
  479.                         <property name="xalign">0</property>
  480.                         <property name="label" translatable="yes">Tab Stops</property>
  481.                         <attributes>
  482.                           <attribute name="weight" value="bold"/>
  483.                         </attributes>
  484.                       </object>
  485.                       <packing>
  486.                         <property name="expand">False</property>
  487.                         <property name="fill">False</property>
  488.                         <property name="position">0</property>
  489.                       </packing>
  490.                     </child>
  491.                     <child>
  492.                       <object class="GtkHBox" id="hbox141">
  493.                         <property name="visible">True</property>
  494.                         <child>
  495.                           <object class="GtkLabel" id="label847">
  496.                             <property name="visible">True</property>
  497.                             <property name="label" translatable="yes">    </property>
  498.                           </object>
  499.                           <packing>
  500.                             <property name="expand">False</property>
  501.                             <property name="fill">False</property>
  502.                             <property name="position">0</property>
  503.                           </packing>
  504.                         </child>
  505.                         <child>
  506.                           <object class="GtkVBox" id="vbox205">
  507.                             <property name="visible">True</property>
  508.                             <property name="orientation">vertical</property>
  509.                             <property name="spacing">6</property>
  510.                             <child>
  511.                               <object class="GtkHBox" id="tabs_width_hbox">
  512.                                 <property name="visible">True</property>
  513.                                 <property name="spacing">6</property>
  514.                                 <child>
  515.                                   <object class="GtkLabel" id="label98">
  516.                                     <property name="visible">True</property>
  517.                                     <property name="label" translatable="yes">_Tab width:</property>
  518.                                     <property name="use_underline">True</property>
  519.                                     <property name="justify">center</property>
  520.                                     <property name="mnemonic_widget">tabs_width_spinbutton</property>
  521.                                   </object>
  522.                                   <packing>
  523.                                     <property name="expand">False</property>
  524.                                     <property name="fill">False</property>
  525.                                     <property name="position">0</property>
  526.                                   </packing>
  527.                                 </child>
  528.                                 <child>
  529.                                   <object class="GtkSpinButton" id="tabs_width_spinbutton">
  530.                                     <property name="visible">True</property>
  531.                                     <property name="can_focus">True</property>
  532.                                     <property name="adjustment">adjustment2</property>
  533.                                     <property name="climb_rate">1</property>
  534.                                     <property name="numeric">True</property>
  535.                                   </object>
  536.                                   <packing>
  537.                                     <property name="expand">False</property>
  538.                                     <property name="fill">False</property>
  539.                                     <property name="position">1</property>
  540.                                   </packing>
  541.                                 </child>
  542.                               </object>
  543.                               <packing>
  544.                                 <property name="position">0</property>
  545.                               </packing>
  546.                             </child>
  547.                             <child>
  548.                               <object class="GtkCheckButton" id="insert_spaces_checkbutton">
  549.                                 <property name="label" translatable="yes">Insert _spaces instead of tabs</property>
  550.                                 <property name="visible">True</property>
  551.                                 <property name="can_focus">True</property>
  552.                                 <property name="receives_default">False</property>
  553.                                 <property name="use_underline">True</property>
  554.                                 <property name="draw_indicator">True</property>
  555.                               </object>
  556.                               <packing>
  557.                                 <property name="expand">False</property>
  558.                                 <property name="fill">False</property>
  559.                                 <property name="position">1</property>
  560.                               </packing>
  561.                             </child>
  562.                           </object>
  563.                           <packing>
  564.                             <property name="expand">False</property>
  565.                             <property name="fill">False</property>
  566.                             <property name="position">1</property>
  567.                           </packing>
  568.                         </child>
  569.                       </object>
  570.                       <packing>
  571.                         <property name="expand">False</property>
  572.                         <property name="fill">False</property>
  573.                         <property name="position">1</property>
  574.                       </packing>
  575.                     </child>
  576.                   </object>
  577.                   <packing>
  578.                     <property name="expand">False</property>
  579.                     <property name="fill">False</property>
  580.                     <property name="position">0</property>
  581.                   </packing>
  582.                 </child>
  583.                 <child>
  584.                   <object class="GtkVBox" id="vbox227">
  585.                     <property name="visible">True</property>
  586.                     <property name="orientation">vertical</property>
  587.                     <property name="spacing">6</property>
  588.                     <child>
  589.                       <object class="GtkLabel" id="label851">
  590.                         <property name="visible">True</property>
  591.                         <property name="xalign">0</property>
  592.                         <property name="label" translatable="yes">Automatic Indentation</property>
  593.                         <attributes>
  594.                           <attribute name="weight" value="bold"/>
  595.                         </attributes>
  596.                       </object>
  597.                       <packing>
  598.                         <property name="expand">False</property>
  599.                         <property name="fill">False</property>
  600.                         <property name="position">0</property>
  601.                       </packing>
  602.                     </child>
  603.                     <child>
  604.                       <object class="GtkHBox" id="hbox143">
  605.                         <property name="visible">True</property>
  606.                         <child>
  607.                           <object class="GtkLabel" id="label852">
  608.                             <property name="visible">True</property>
  609.                             <property name="label" translatable="yes">    </property>
  610.                           </object>
  611.                           <packing>
  612.                             <property name="expand">False</property>
  613.                             <property name="fill">False</property>
  614.                             <property name="position">0</property>
  615.                           </packing>
  616.                         </child>
  617.                         <child>
  618.                           <object class="GtkCheckButton" id="auto_indent_checkbutton">
  619.                             <property name="label" translatable="yes">_Enable automatic indentation</property>
  620.                             <property name="visible">True</property>
  621.                             <property name="can_focus">True</property>
  622.                             <property name="receives_default">False</property>
  623.                             <property name="use_underline">True</property>
  624.                             <property name="draw_indicator">True</property>
  625.                           </object>
  626.                           <packing>
  627.                             <property name="expand">False</property>
  628.                             <property name="fill">False</property>
  629.                             <property name="position">1</property>
  630.                           </packing>
  631.                         </child>
  632.                       </object>
  633.                       <packing>
  634.                         <property name="expand">False</property>
  635.                         <property name="fill">False</property>
  636.                         <property name="position">1</property>
  637.                       </packing>
  638.                     </child>
  639.                   </object>
  640.                   <packing>
  641.                     <property name="expand">False</property>
  642.                     <property name="fill">False</property>
  643.                     <property name="position">1</property>
  644.                   </packing>
  645.                 </child>
  646.                 <child>
  647.                   <object class="GtkVBox" id="vbox232">
  648.                     <property name="visible">True</property>
  649.                     <property name="orientation">vertical</property>
  650.                     <property name="spacing">6</property>
  651.                     <child>
  652.                       <object class="GtkLabel" id="label859">
  653.                         <property name="visible">True</property>
  654.                         <property name="xalign">0</property>
  655.                         <property name="label" translatable="yes">File Saving</property>
  656.                         <attributes>
  657.                           <attribute name="weight" value="bold"/>
  658.                         </attributes>
  659.                       </object>
  660.                       <packing>
  661.                         <property name="expand">False</property>
  662.                         <property name="fill">False</property>
  663.                         <property name="position">0</property>
  664.                       </packing>
  665.                     </child>
  666.                     <child>
  667.                       <object class="GtkHBox" id="hbox147">
  668.                         <property name="visible">True</property>
  669.                         <child>
  670.                           <object class="GtkLabel" id="label860">
  671.                             <property name="visible">True</property>
  672.                             <property name="label" translatable="yes">    </property>
  673.                           </object>
  674.                           <packing>
  675.                             <property name="expand">False</property>
  676.                             <property name="fill">False</property>
  677.                             <property name="position">0</property>
  678.                           </packing>
  679.                         </child>
  680.                         <child>
  681.                           <object class="GtkVBox" id="vbox187">
  682.                             <property name="visible">True</property>
  683.                             <property name="orientation">vertical</property>
  684.                             <property name="spacing">6</property>
  685.                             <child>
  686.                               <object class="GtkCheckButton" id="backup_copy_checkbutton">
  687.                                 <property name="label" translatable="yes">Create a _backup copy of files before saving</property>
  688.                                 <property name="visible">True</property>
  689.                                 <property name="can_focus">True</property>
  690.                                 <property name="receives_default">False</property>
  691.                                 <property name="use_underline">True</property>
  692.                                 <property name="draw_indicator">True</property>
  693.                               </object>
  694.                               <packing>
  695.                                 <property name="expand">False</property>
  696.                                 <property name="fill">False</property>
  697.                                 <property name="position">0</property>
  698.                               </packing>
  699.                             </child>
  700.                             <child>
  701.                               <object class="GtkHBox" id="autosave_hbox">
  702.                                 <property name="visible">True</property>
  703.                                 <property name="spacing">6</property>
  704.                                 <child>
  705.                                   <object class="GtkCheckButton" id="auto_save_checkbutton">
  706.                                     <property name="label" translatable="yes">_Autosave files every</property>
  707.                                     <property name="visible">True</property>
  708.                                     <property name="can_focus">True</property>
  709.                                     <property name="receives_default">False</property>
  710.                                     <property name="use_underline">True</property>
  711.                                     <property name="draw_indicator">True</property>
  712.                                   </object>
  713.                                   <packing>
  714.                                     <property name="expand">False</property>
  715.                                     <property name="fill">False</property>
  716.                                     <property name="position">0</property>
  717.                                   </packing>
  718.                                 </child>
  719.                                 <child>
  720.                                   <object class="GtkSpinButton" id="auto_save_spinbutton">
  721.                                     <property name="visible">True</property>
  722.                                     <property name="can_focus">True</property>
  723.                                     <property name="adjustment">adjustment3</property>
  724.                                     <property name="climb_rate">1</property>
  725.                                     <property name="numeric">True</property>
  726.                                   </object>
  727.                                   <packing>
  728.                                     <property name="expand">False</property>
  729.                                     <property name="fill">False</property>
  730.                                     <property name="position">1</property>
  731.                                   </packing>
  732.                                 </child>
  733.                                 <child>
  734.                                   <object class="GtkLabel" id="label97">
  735.                                     <property name="visible">True</property>
  736.                                     <property name="label" translatable="yes">_minutes</property>
  737.                                     <property name="use_underline">True</property>
  738.                                     <property name="justify">center</property>
  739.                                     <property name="mnemonic_widget">auto_save_spinbutton</property>
  740.                                   </object>
  741.                                   <packing>
  742.                                     <property name="expand">False</property>
  743.                                     <property name="fill">False</property>
  744.                                     <property name="position">2</property>
  745.                                   </packing>
  746.                                 </child>
  747.                               </object>
  748.                               <packing>
  749.                                 <property name="position">1</property>
  750.                               </packing>
  751.                             </child>
  752.                           </object>
  753.                           <packing>
  754.                             <property name="expand">False</property>
  755.                             <property name="fill">False</property>
  756.                             <property name="position">1</property>
  757.                           </packing>
  758.                         </child>
  759.                       </object>
  760.                       <packing>
  761.                         <property name="position">1</property>
  762.                       </packing>
  763.                     </child>
  764.                   </object>
  765.                   <packing>
  766.                     <property name="expand">False</property>
  767.                     <property name="fill">False</property>
  768.                     <property name="position">2</property>
  769.                   </packing>
  770.                 </child>
  771.               </object>
  772.               <packing>
  773.                 <property name="position">1</property>
  774.               </packing>
  775.             </child>
  776.             <child type="tab">
  777.               <object class="GtkLabel" id="label829">
  778.                 <property name="visible">True</property>
  779.                 <property name="label" translatable="yes">Editor</property>
  780.               </object>
  781.               <packing>
  782.                 <property name="position">1</property>
  783.                 <property name="tab_fill">False</property>
  784.               </packing>
  785.             </child>
  786.             <child>
  787.               <object class="GtkVBox" id="vbox202">
  788.                 <property name="visible">True</property>
  789.                 <property name="border_width">12</property>
  790.                 <property name="orientation">vertical</property>
  791.                 <property name="spacing">18</property>
  792.                 <child>
  793.                   <object class="GtkVBox" id="vbox185">
  794.                     <property name="visible">True</property>
  795.                     <property name="orientation">vertical</property>
  796.                     <property name="spacing">6</property>
  797.                     <child>
  798.                       <object class="GtkLabel" id="label819">
  799.                         <property name="visible">True</property>
  800.                         <property name="xalign">0</property>
  801.                         <property name="label" translatable="yes">Font</property>
  802.                         <attributes>
  803.                           <attribute name="weight" value="bold"/>
  804.                         </attributes>
  805.                       </object>
  806.                       <packing>
  807.                         <property name="expand">False</property>
  808.                         <property name="fill">False</property>
  809.                         <property name="position">0</property>
  810.                       </packing>
  811.                     </child>
  812.                     <child>
  813.                       <object class="GtkHBox" id="hbox116">
  814.                         <property name="visible">True</property>
  815.                         <child>
  816.                           <object class="GtkLabel" id="label800">
  817.                             <property name="visible">True</property>
  818.                             <property name="label" translatable="yes">    </property>
  819.                           </object>
  820.                           <packing>
  821.                             <property name="expand">False</property>
  822.                             <property name="fill">False</property>
  823.                             <property name="position">0</property>
  824.                           </packing>
  825.                         </child>
  826.                         <child>
  827.                           <object class="GtkVBox" id="vbox183">
  828.                             <property name="visible">True</property>
  829.                             <property name="orientation">vertical</property>
  830.                             <property name="spacing">6</property>
  831.                             <child>
  832.                               <object class="GtkCheckButton" id="default_font_checkbutton">
  833.                                 <property name="label">_Use the system fixed width font (%s)</property>
  834.                                 <property name="visible">True</property>
  835.                                 <property name="can_focus">True</property>
  836.                                 <property name="receives_default">False</property>
  837.                                 <property name="use_underline">True</property>
  838.                                 <property name="draw_indicator">True</property>
  839.                               </object>
  840.                               <packing>
  841.                                 <property name="expand">False</property>
  842.                                 <property name="fill">False</property>
  843.                                 <property name="position">0</property>
  844.                               </packing>
  845.                             </child>
  846.                             <child>
  847.                               <object class="GtkHBox" id="font_hbox">
  848.                                 <property name="visible">True</property>
  849.                                 <property name="spacing">12</property>
  850.                                 <child>
  851.                                   <object class="GtkLabel" id="font_label">
  852.                                     <property name="visible">True</property>
  853.                                     <property name="xalign">0</property>
  854.                                     <property name="label" translatable="yes">Editor _font: </property>
  855.                                     <property name="use_underline">True</property>
  856.                                     <property name="justify">center</property>
  857.                                     <property name="mnemonic_widget">font_button</property>
  858.                                   </object>
  859.                                   <packing>
  860.                                     <property name="expand">False</property>
  861.                                     <property name="fill">False</property>
  862.                                     <property name="position">0</property>
  863.                                   </packing>
  864.                                 </child>
  865.                                 <child>
  866.                                   <object class="GtkFontButton" id="font_button">
  867.                                     <property name="visible">True</property>
  868.                                     <property name="can_focus">True</property>
  869.                                     <property name="receives_default">False</property>
  870.                                     <property name="title" translatable="yes">Pick the editor font</property>
  871.                                     <property name="use_font">True</property>
  872.                                   </object>
  873.                                   <packing>
  874.                                     <property name="position">1</property>
  875.                                   </packing>
  876.                                 </child>
  877.                               </object>
  878.                               <packing>
  879.                                 <property name="expand">False</property>
  880.                                 <property name="fill">False</property>
  881.                                 <property name="position">1</property>
  882.                               </packing>
  883.                             </child>
  884.                           </object>
  885.                           <packing>
  886.                             <property name="position">1</property>
  887.                           </packing>
  888.                         </child>
  889.                       </object>
  890.                       <packing>
  891.                         <property name="position">1</property>
  892.                       </packing>
  893.                     </child>
  894.                   </object>
  895.                   <packing>
  896.                     <property name="expand">False</property>
  897.                     <property name="fill">False</property>
  898.                     <property name="position">0</property>
  899.                   </packing>
  900.                 </child>
  901.                 <child>
  902.                   <object class="GtkVBox" id="vbox14">
  903.                     <property name="visible">True</property>
  904.                     <property name="orientation">vertical</property>
  905.                     <property name="spacing">6</property>
  906.                     <child>
  907.                       <object class="GtkLabel" id="label798">
  908.                         <property name="visible">True</property>
  909.                         <property name="xalign">0</property>
  910.                         <property name="label" translatable="yes">Color Scheme</property>
  911.                         <attributes>
  912.                           <attribute name="weight" value="bold"/>
  913.                         </attributes>
  914.                       </object>
  915.                       <packing>
  916.                         <property name="expand">False</property>
  917.                         <property name="fill">False</property>
  918.                         <property name="position">0</property>
  919.                       </packing>
  920.                     </child>
  921.                     <child>
  922.                       <object class="GtkHBox" id="hbox115">
  923.                         <property name="visible">True</property>
  924.                         <child>
  925.                           <object class="GtkLabel" id="label797">
  926.                             <property name="visible">True</property>
  927.                             <property name="label" translatable="yes">    </property>
  928.                           </object>
  929.                           <packing>
  930.                             <property name="expand">False</property>
  931.                             <property name="fill">False</property>
  932.                             <property name="position">0</property>
  933.                           </packing>
  934.                         </child>
  935.                         <child>
  936.                           <object class="GtkVBox" id="vbox1">
  937.                             <property name="visible">True</property>
  938.                             <property name="orientation">vertical</property>
  939.                             <property name="spacing">6</property>
  940.                             <child>
  941.                               <object class="GtkScrolledWindow" id="scrolledwindow2">
  942.                                 <property name="visible">True</property>
  943.                                 <property name="can_focus">True</property>
  944.                                 <property name="hscrollbar_policy">automatic</property>
  945.                                 <property name="vscrollbar_policy">automatic</property>
  946.                                 <property name="shadow_type">etched-in</property>
  947.                                 <child>
  948.                                   <object class="GtkTreeView" id="schemes_treeview">
  949.                                     <property name="visible">True</property>
  950.                                     <property name="can_focus">True</property>
  951.                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  952.                                     <property name="headers_visible">False</property>
  953.                                     <property name="rules_hint">True</property>
  954.                                   </object>
  955.                                 </child>
  956.                               </object>
  957.                               <packing>
  958.                                 <property name="position">0</property>
  959.                               </packing>
  960.                             </child>
  961.                             <child>
  962.                               <object class="GtkHButtonBox" id="hbuttonbox1">
  963.                                 <property name="visible">True</property>
  964.                                 <property name="spacing">6</property>
  965.                                 <property name="layout_style">end</property>
  966.                                 <child>
  967.                                   <object class="GtkButton" id="install_scheme_button">
  968.                                     <property name="label" translatable="yes">_Add...</property>
  969.                                     <property name="visible">True</property>
  970.                                     <property name="can_focus">True</property>
  971.                                     <property name="receives_default">False</property>
  972.                                     <property name="image">install_scheme_image</property>
  973.                                     <property name="use_underline">True</property>
  974.                                   </object>
  975.                                   <packing>
  976.                                     <property name="expand">False</property>
  977.                                     <property name="fill">False</property>
  978.                                     <property name="position">0</property>
  979.                                   </packing>
  980.                                 </child>
  981.                                 <child>
  982.                                   <object class="GtkButton" id="uninstall_scheme_button">
  983.                                     <property name="label">gtk-remove</property>
  984.                                     <property name="visible">True</property>
  985.                                     <property name="can_focus">True</property>
  986.                                     <property name="receives_default">False</property>
  987.                                     <property name="use_stock">True</property>
  988.                                   </object>
  989.                                   <packing>
  990.                                     <property name="expand">False</property>
  991.                                     <property name="fill">False</property>
  992.                                     <property name="position">1</property>
  993.                                   </packing>
  994.                                 </child>
  995.                               </object>
  996.                               <packing>
  997.                                 <property name="expand">False</property>
  998.                                 <property name="position">1</property>
  999.                               </packing>
  1000.                             </child>
  1001.                           </object>
  1002.                           <packing>
  1003.                             <property name="position">1</property>
  1004.                           </packing>
  1005.                         </child>
  1006.                       </object>
  1007.                       <packing>
  1008.                         <property name="position">1</property>
  1009.                       </packing>
  1010.                     </child>
  1011.                   </object>
  1012.                   <packing>
  1013.                     <property name="position">1</property>
  1014.                   </packing>
  1015.                 </child>
  1016.               </object>
  1017.               <packing>
  1018.                 <property name="position">2</property>
  1019.               </packing>
  1020.             </child>
  1021.             <child type="tab">
  1022.               <object class="GtkLabel" id="label830">
  1023.                 <property name="visible">True</property>
  1024.                 <property name="label" translatable="yes">Font & Colors</property>
  1025.               </object>
  1026.               <packing>
  1027.                 <property name="position">2</property>
  1028.                 <property name="tab_fill">False</property>
  1029.               </packing>
  1030.             </child>
  1031.             <child>
  1032.               <object class="GtkVBox" id="plugin_manager_place_holder">
  1033.                 <property name="visible">True</property>
  1034.                 <property name="border_width">12</property>
  1035.                 <property name="orientation">vertical</property>
  1036.                 <child>
  1037.                   <placeholder/>
  1038.                 </child>
  1039.               </object>
  1040.               <packing>
  1041.                 <property name="position">3</property>
  1042.               </packing>
  1043.             </child>
  1044.             <child type="tab">
  1045.               <object class="GtkLabel" id="label868">
  1046.                 <property name="visible">True</property>
  1047.                 <property name="label" translatable="yes">Plugins</property>
  1048.               </object>
  1049.               <packing>
  1050.                 <property name="position">3</property>
  1051.                 <property name="tab_fill">False</property>
  1052.               </packing>
  1053.             </child>
  1054.           </object>
  1055.           <packing>
  1056.             <property name="position">1</property>
  1057.           </packing>
  1058.         </child>
  1059.         <child internal-child="action_area">
  1060.           <object class="GtkHButtonBox" id="dialog-action_area">
  1061.             <property name="visible">True</property>
  1062.             <property name="layout_style">end</property>
  1063.             <child>
  1064.               <object class="GtkButton" id="helpbutton1">
  1065.                 <property name="label">gtk-help</property>
  1066.                 <property name="visible">True</property>
  1067.                 <property name="can_focus">True</property>
  1068.                 <property name="can_default">True</property>
  1069.                 <property name="receives_default">False</property>
  1070.                 <property name="use_stock">True</property>
  1071.               </object>
  1072.               <packing>
  1073.                 <property name="expand">False</property>
  1074.                 <property name="fill">False</property>
  1075.                 <property name="position">0</property>
  1076.               </packing>
  1077.             </child>
  1078.             <child>
  1079.               <object class="GtkButton" id="closebutton1">
  1080.                 <property name="label">gtk-close</property>
  1081.                 <property name="visible">True</property>
  1082.                 <property name="can_focus">True</property>
  1083.                 <property name="can_default">True</property>
  1084.                 <property name="receives_default">False</property>
  1085.                 <property name="use_stock">True</property>
  1086.               </object>
  1087.               <packing>
  1088.                 <property name="expand">False</property>
  1089.                 <property name="fill">False</property>
  1090.                 <property name="position">1</property>
  1091.               </packing>
  1092.             </child>
  1093.           </object>
  1094.           <packing>
  1095.             <property name="expand">False</property>
  1096.             <property name="pack_type">end</property>
  1097.             <property name="position">0</property>
  1098.           </packing>
  1099.         </child>
  1100.       </object>
  1101.     </child>
  1102.     <action-widgets>
  1103.       <action-widget response="-11">helpbutton1</action-widget>
  1104.       <action-widget response="-7">closebutton1</action-widget>
  1105.     </action-widgets>
  1106.   </object>
  1107. </interface>
  1108.